Big Huge Thesaurus

formal logic

noun

sounds kind of like